Аксіома регулярності
Перейти до навігації
Перейти до пошуку
Ця стаття має кілька недоліків. Будь ласка, допоможіть удосконалити її або обговоріть ці проблеми на сторінці обговорення.
|
Аксіома регулярності (аксіома фундування) — одна з аксіом теорії множин Цермело — Френкеля (ZF) (з 1930). Спочатку була сформульована фон Нейманом для теорії множин фон Неймана — Бернайса — Геделя (NBG) (в 1925 ).
В будь-якій непорожній множині А є елемент B, що перетин А та B є порожньою множиною:
Якщо ввести операцію перетину множин , то формулу можна спростити:
Наслідком цієї аксіоми є твердження, що не існує множини, яка є елементом самої себе.
Аксіома регулярності найменш корисна аксіома ZF, оскільки всі результати можуть бути отримані і без неї, хоча вона інтенсивно використовується результатів про цілковий порядок та ординали.
- Куратовский К., Мостовский А. Теория множеств = Set Theory (Teoria mnogości). — М. : Мир, 1970. — 416 с.(рос.)
|
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |